TSTP Solution File: SWV436^4 by Refute---2015